Chinese translation for "conjunctive normal form"
|
- 合取范式
合榷式
Related Translations:
conjunctive: adj.1.连结(着)的;【数学】契合的,合取的;【语法】(有)连接(作用)的。2.【计算机】逻辑乘法的。n.【语法】连词。adv.-ly
- Example Sentences:
| 1. | Based on paper [ 1 ] and [ 2 ] , this paper gives two generating algorithms to calculate and output the special conjunctive normal forms and special disjunctive forms of given propositional formulas automatically and formally 摘要在文[ 1 ]和文[ 2 ]的基础上,给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法,并实现了多个命题公式主范式的同时形式化输出。 |
- Similar Words:
- "conjunctive goal in deduction" Chinese translation, "conjunctive matrices" Chinese translation, "conjunctive model" Chinese translation, "conjunctive mood" Chinese translation, "conjunctive name" Chinese translation, "conjunctive ordering" Chinese translation, "conjunctive parenchyma" Chinese translation, "conjunctive path" Chinese translation, "conjunctive phrase" Chinese translation, "conjunctive query" Chinese translation
|
|
|